Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
931	CS109B Notes for LectureNP-Complete Problems We have met some problems that have \easy" solutions; they have algorithms that run in time that is polynomial in the size of the graph, the parameter m. Examples: Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:50 NP-complete problems Graph coloring Independent set NP-complete Clique Vertex cover NP Clique cover problem Domatic number Theoretical computer science Graph theory Computational complexity theory
932	Optimal Data Set Selection: An Application to Grapheme-to-Phoneme Conversion Young-Bum Kim and Benjamin Snyder University of Wisconsin-Madison {ybkim,bsnyder}@cs.wisc.edu Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2013-06-23 22:28:25 Machine learning Linear algebra Numerical linear algebra Computational linguistics Matrix theory Singular value decomposition Feature selection Supervised learning Unsupervised learning Algebra Statistics Mathematics
933	A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial Extended Abstract Walid Taha Department of Computing Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-11-29 21:10:43 Digital typography Orthography World glyph set Latin-derived alphabet Latin alphabets Character encoding Latin script
934	Power-Aware Speed Scaling in Processor Sharing Systems Adam Wierman Computer Science Department California Institute of Technology Add to Reading List Source URL: users.monash.edu Language: English - Date: 2014-01-09 20:53:07 Set theory Ordinal numbers Proof theory Ordinal arithmetic
935	Merging Logic Programs under Answer Set Semantics James Delgrande1 , Torsten Schaub2? , Hans Tompits3 , and Stefan Woltran3 1 Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Universit¨at Potsdam, August-Bebel-Str Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:49:07 Logic programming Model theory Functions and mappings Interpretation Entailment Symbol Logical connective Belief revision Function Logic Mathematics Metalogic
936	Verifying Z Specifications with Z/Eves AI4FM kick-off meeting talk Andrius Velykis PhD student at Newcastle University, AI4FM project Supervised by Prof Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Oxford University Computing Laboratory Z notation Eves First-order logic Zermelo–Fraenkel set theory Formal specification Metalogic Theorem prover Mathematical logic Formal methods Logic
937	Graph Cuts is a Max-Product Algorithm Daniel Tarlow, Inmar E. Givoni, Richard S. Zemel, Brendan J. Frey University of Toronto Toronto, ON M5S 3G4 {dtarlow@cs, inmar@psi, zemel@cs, frey@psi}.toronto.edu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-07-15 18:06:25 Operations research Graphical models Submodular set function Belief propagation Maximum flow problem Factor graph Tree decomposition Algorithm Linear programming Graph theory Mathematics Network flow
938	CS109A Notes for LectureProperties of Binary Relations 1. Symmetry: aRb implies bRa. Example: Dene aR1 b i a + b is divisible by 3. R1 is symmetric. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:27 Elementary mathematics Binary relation Congruence relation Equivalence class Partially ordered set Total order Equality Integer Finitary relation Mathematics Order theory Equivalence relation
939	Microsoft Word - problem set 0 Add to Reading List Source URL: www.chemistry2011.org Language: English - Date: 2013-03-09 18:18:18 Abstract algebra Eigenvalues and eigenvectors Linear algebra Matrix theory Singular value decomposition Differential equation Algebra Mathematics Mathematical physics
940	Chapter 3: Infinity Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-19 16:36:11 Infinity Cardinal numbers Philosophy of mathematics Field theory Integer Number Actual infinity Finite set Rational number Mathematics Abstract algebra Elementary mathematics

UPDATE